Immunochemistry: An Advanced Textbook

Immunochemistry.

Elementary and Advanced Textbook of Anæsthesia

Immunochemistry.

Reading an algebra textbook

We report on a formalisation experiment where excerpts from an algebra textbook are compared to their translation into formal texts of the Isabelle/Isar prover, and where an attempt is made in the formal text to stick as closely as possible with the structure of the informal counterpart. The purpose of the exercise is to gain understanding on how adequately a modern algebra text can be represen...

An Introductory Textbook of Medicine

TWENTY years ago obstetric anaesthesia was frequently delegated to the inexperienced junior anaesthetist who was ill-equipped to deal with many of the problems he encountered. Since then intensive training, research and the appointment of consultants with a special interest in obstetric anaesthesia has led to a rapid improvement. Moir has played a major role in this development and his book giv...